1 sew(turn(sew(B,turn(B))),
\r
2 turn(sew(turn(B),B)));
\r
3 sew(turn(sew(B,turn(B))),A);
\r
4 sew(turn(sew(A,turn(A))),
\r
5 turn(turn(turn(sew(A,turn(A))))));
\r
6 sew(sew(turn(sew(A,A)),turn(turn(turn(sew(A,A))))),turn(turn(sew(turn(sew(A,A)),turn(turn(turn(sew(A,A))))))));
\r
7 sew(sew(sew(sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B))))),sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))))),sew(sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B))))),sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B))))))),sew(sew(sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B))))),sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))))),sew(sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B))))),sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B))))))));
\r
8 turn(sew(sew(sew(sew(sew(
\r
9 turn(sew(sew(sew(B,turn(B)),B),
\r
10 sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),
\r
11 sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B))
\r
12 ,sew(sew(B,turn(B)),B))))),sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),
\r
13 turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),
\r
14 turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))))),sew(sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),
\r
15 turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),
\r
16 turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B))))),sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),
\r
17 turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(
\r
18 sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B))))))),sew(sew(sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))
\r
19 ),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(
\r
20 sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B))))),sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(
\r
21 sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(
\r
22 turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))))),sew(sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(
\r
23 turn(B),B),turn(B)),sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),
\r
24 turn(B)),sew(sew(B,turn(B)),B))))),sew(sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),
\r
25 sew(sew(B,turn(B)),B)))),sew(turn(sew(sew(sew(B,turn(B)),B),sew(sew(turn(B),B),turn(B)))),turn(sew(sew(sew(turn(B),B),turn(B)),sew(sew(B,turn(B)),
\r
33 sew(sew(sew(sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A))))),sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))))),sew(sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A))))),sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A))))))),sew(sew(sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A))))),sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))))),sew(sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A))))),sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A))))))));
\r
36 turn(sew(sew(sew(sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A))))),sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))))),sew(sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A))))),sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A))))))),sew(sew(sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A))))),sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))))),sew(sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A))))),sew(sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))),sew(turn(sew(sew(sew(A,turn(A)),A),sew(sew(turn(A),A),turn(A)))),turn(sew(sew(sew(turn(A),A),turn(A)),sew(sew(A,turn(A)),A)))))))));
\r
38 sew(turn(A),turn(sew(B,A)));sew(turn(sew(turn(A),sew(B,A))),turn(sew(turn(A),sew(B,A))));
\r
39 turn(turn(sew(turn(sew(turn(A),sew(B,A))),turn(sew(turn(A),sew(B,A))))));
\r
42 sew(sew(turn(sew(turn(A),sew(B,A))),turn(sew(turn(A),sew(B,A)))),turn(turn(sew(turn(sew(turn(A),sew(B,A))),turn(sew(turn(A),sew(B,A)))))));